Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
461	Disjunction Property and Finite Model Property for An Intuitionistic Epistemic Logic Yoichi Hirai ∗ Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2013-03-27 09:07:24 Proof theory Symbol Natural deduction Constructible universe Riemann surfaces
462	[12] D. Peled. Combining partial order reductions with on-the-fly model checking. Sixth Conference on Computer Aided Verification, LNCS 818, 377–390, A. Pnueli. The temporal logic of programs. 18th Symposium Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:41
463	Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:42 Logic Mathematical logic Mathematics Abstraction Model theory Relational model Alloy Z notation First-order logic Structure Finitary relation Relational
464	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
465	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
466	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
467	PDF Document Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:13 Cryptography Public-key cryptography Ciphertext indistinguishability DolevYao model Cryptographic protocol Digital signature Protocol composition logic Cryptographic primitive XTR Commitment scheme Index of cryptography articles
468	PDF Document Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2015-04-27 13:44:12 Logic Mathematical logic Mathematics Model theory Substitution Peano axioms Interpretation Constructible universe Compactness theorem Symbol Principia Mathematica operator
469	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:34:25 Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency
470	PDF Document Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-07-17 11:43:19 Computing Software engineering Software Formal methods Theoretical computer science Model checkers Logic in computer science Java Pathfinder Model checking Formal verification Promela Abstract interpretation

UPDATE